| Model: | embedded v.1 (CTMC) |
| Parameter(s) | MAX_COUNT = 8, T = 12 |
| Property: | actuators (prob-reach) |
./pet.sh reachability --precision 0.001 --relative-error --only-result -m embedded.prism -p embedded.props --property actuators --const MAX_COUNT=8,T=12
| Walltime: | 33.216771602630615s |
| Return code: | 0 |
| Relative Error: | 0.00041081771136981473 |
0.1053469164